Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap
نویسندگان
چکیده
In this paper we discuss issues in the development of formal methods for use in aerospace applications, reflecting our experience in working with both Rolls-Royce and British Aerospace. We discuss some of the key factors which we believe govern the application of discrete mathematics to aerospace applications, drawing comparisons with applied engineering mathematics in other domains. We give an overview of three projects (the three “small steps”): The development of a domain-specific language for aircraft engine control system specification; The development of a formal semantics and tool support for state transition systems to facilitate analysis of specifications produced by systems engineers; The use of formalisms in support of test automation. We then discuss the “gap” we see between the needs of industry and the current focus of the formal methods research community by pointing out important facets of industrially applicable formal methods which are not receiving adequate attention. We refer to this as a “giant leap” due to the need for a cultural shift in the research community, and the need for a coherent approach to the identified research issues rather than piecemeal studies of the issues. Our conclusions are to be optimistic for the future use of formal methods in industry, albeit with concern that their potential will not be realised unless there is a shift in emphasis within the research community.
منابع مشابه
Nurturing Societal Values in and Through Health Innovations; Comment on “What Health System Challenges Should Responsible Innovation in Health Address?”
Aligning innovation processes in healthcare with health system demands is a societal objective, not always achieved. In line with earlier contributions, Lehoux et al outline priorities for research, public communication, and policy action to achieve this objective. We endorse setting these priorities, while also highlighting a ‘commitment gap’ in collectively addressing system-level challenges....
متن کاملOne Giant Leap, One Small Step: Continuing the Migration to Electronic Journals
AFSTRACT A NUMBER OF RECENT EVENTS, most notably the emergence of the World Wide Web, have triggered a dramatic increase in the availability of electronic journals. Today’s electronic journals make use of the technologies of the present but are also based on the experiences of the past. This article discusses the steps that have been taken to reach the point where we are today in electronic pub...
متن کاملRepair of complete atrioventricular septal defect: close to the moon? From giant leap for the medical community to small steps for our patients.
متن کامل
An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. It is our goal to provide a redesign approach which describes and supports the steps to derive from an existing process a better performing redesign. In this paper we present an evolutionary approach towards business process redesign and explain its first ...
متن کاملDNA helicases: One small step for PcrA, one giant leap for RecBC?
One might imagine that the mechanism of helicases would relate to the number of base pairs that are unwound for each ATP that is hydrolysed. Recent studies, however, suggest the situation can be more complicated than this.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998